"抽象化には漏れがある"法則